Reconstructing Polyatomic Structures from Discrete X-Rays: NP-Completeness Proof for Three Atoms

نویسندگان

  • Marek Chrobak
  • Christoph Dürr
چکیده

We address a discrete tomography problem that arises in the study of the atomic structure of crystal lattices. A polyatomic structure T can be defined as an integer lattice in dimension D ≥ 2, whose points may be occupied by c distinct types of atoms. To “analyze” T , we conduct l measurements that we call discrete X-rays. A discrete X-ray in direction ξ determines the number of atoms of each type on each line parallel to ξ. Given l such non-parallel X-rays, we wish to reconstruct T . The complexity of the problem for c = 1 (one atom type) has been completely determined by Gardner, Gritzmann and Prangenberg [5], who proved that the problem is NP-complete for any dimension D ≥ 2 and l ≥ 3 non-parallel X-rays, and that it can be solved in polynomial time otherwise [9]. The NP-completeness result above clearly extends to any c ≥ 2, and therefore when studying the polyatomic case we can assume that l = 2. As shown in another article by the same authors, [4], this problem is also NP-complete for c ≥ 6 atoms, even for dimension D = 2 and axis-parallel X-rays. The authors of [4] conjecture that the problem remains NP-complete for c = 3, 4, 5, although, as they point out, the proof idea in [4] does not seem to extend to c ≤ 5. We resolve the conjecture from [4] by proving that the problem is indeed NP-complete for c ≥ 3 in 2D, even for axis-parallel X-rays. Our construction relies heavily on some structure results for the realizations of 0-1 matrices with given row and column sums.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Reconstructing hv-convex polyominoes with multiple colours

This thesis examines the problem of reconstructing multiple discrete 2D objects, represented by a set of cells arranged in an m×n grid, from their projections. The objects being constructed are disjoint, hv-convex polyominoes, each of which has a separate colour. The main results presented here are two algorithms for unordered C-colour reconstruction that have time complexities of O(Cnm) and O(...

متن کامل

Discrete Tomography: Reconstruction under Periodicity Constraints

This paper studies the problem of reconstructing binary matrices that are only accessible through few evaluations of their discrete X-rays. Such question is prominently motivated by the demand in material science for developing a tool for the reconstruction of crystalline structures from their images obtained by high-resolution transmission electron microscopy. Various approaches have been sugg...

متن کامل

Zero-Knowledge Proof for the Independent Set Problem

SUMMARY An efficient computational Zero-Knowledge Proof of Knowledge whose security relies on the NP-completeness of the Independent Set Problem is presented here. The proposed algorithm is constructed from a bit commitment scheme based on the hardness of the Discrete Logarithm Problem, which guarantees the fulfillment of soundness, completeness and computational zero-knowledge properties, and ...

متن کامل

Complexity of Computing Distances between Geometric Trees

Geometric trees can be formalized as unordered combinatorial trees whose edges are endowed with geometric information. Examples are skeleta of shapes from images; anatomical tree-structures such as blood vessels; or phylogenetic trees. An inter-tree distance measure is a basic prerequisite for many pattern recognition and machine learning methods to work on anatomical, phylogenetic or skeletal ...

متن کامل

A lagrangean approach to reconstruct bicolored images from discrete orthogonal projections

The problem of reconstructing bicolored images from their orthogonal projections is studied. A binary integer programming model is formulated to build small size bicolored images with smoothness properties. Since the problem is NP-complete, we provide an iterative approximation based on lagrangean relaxation. Keyword: Discrete Tomography; Images Reconstruction; Lagrangean Relaxation

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998